Cevap :
P-> Q : ~P v Q
Can someone help me by solving the above sequent?(natural deduction method) Help will be really appreciated.
( p <=> q )' ^ ( p v q )' önermesinin doğruluk değerini bulunuzz
P-> Q : ~P v Q
Can someone help me by solving the above sequent?(natural deduction method) Help will be really appreciated.