u) «*1 Nine y n'prrsrnls any artmntily chum Midday!)
An ngmncnl Which can be pmvcd valid by mung the princxpics of (11‘
( li Is the following
All politicians are Inymcriles
Nu martyrs are brown“
”(re/are. no martyrs are politicians
We may conslmc! its formal proof of validity as:
l. lePxDllx)
2 (“(le D ~llx)/.'. (x)(Mx D ~Px)
- P) on,» LU]
4 M} 3 ll) 2.”
5 ~ll) f) P) 3. l'mns.
Top comments (0)