Zdanie Logiczne aaaaa: Mam zdanie logiczne: Jeśli pan Jan nie jest kierowcą, wówczas pan Nowak nie jest marynarzem. Mam zastosować wzór: (p=>q)<=>(~p v q) Czy to będzie tak: Jeśli pan Jan jest kierowcą wtedy moze pan Nowak nie jest marynarzem. Dobrze to zrobiłem?

Saizou : może nie jest spójnikiem w klasycznym rachunku zdań

aaaaa: To na co byś zamienił?

Saizou : p: Pan Jan jest kierowcą q: Pan Nowak jest marynarzem ~p→~q ≡ p v ~q zatem Pan Jan jest kierowcą lub pan Nowak nie jest marynarzem