Example Of Symbolic Logic