PHILOS211: Elementary Logic (001) FA22