4.3 Sentential connectives retained in Predicate Logic

1. John doesn't love Mary
2. $\neg \mathrm{\:\bf Love\:}(\mathrm{\:j\:},\:\mathrm{\:m\:})$

1. John loves Mary and Fred loves Sue.
2. $\mathrm{\:\bf Love\:}(\mathrm{\:j\:},\:\mathrm{\:m\:})\wedge\mathrm{\:\bf Love\:}(\mathrm{\:f\:},\:\mathrm{\:s\:})$

1. If John loves Mary, then Fred loves Sue.
2. $\mathrm{\:\bf Love\:}(\mathrm{\:j\:},\:\mathrm{\:m\:})\rightarrow \mathrm{\:\bf Love\:}(\mathrm{\:f\:},\:\mathrm{\:s\:})$