PHILOS211: Elementary Logic (002) FA20