logika kkk: To jest z logiki, czy to jest tautologia? Wiemy, że Asia jest starsza od Jana i Asia jest starsza od Adasia lub jeżeli Asia jest starsza od Jasia to Asia jest starsza od Adama. Czy z tego wynika, że Asia nie jest starsza od Adama to Asia nie jest starsza od Jasia? Zapisalem to jako : (p ∧ q) v (p=>q) => ( ~q=>~p)p∧q czy to jest dobrze? I czy jezeli jest dobrze to masz sprawdzić z tabelki?

Kamil: => to implikacje tak?

kkk: tak

PW: Najlepsze jest pytanie: To jest z logiki, czy to jest tautologia? Chyba zaczniemy konkurs na najlepsze powiedzonko tygodnia.

kkk: przepraszam ale jade autobusem i nie pamietam calego polecenia

Kamil: źle napisane zdanie ( ~q=>~p)p∧q między nawiasem a koniunkcją nie ma spójnika

Kamil: to jest zadanie z rachunku zdań. trzeba sprawdzić czy zdanie jest prawdą niezależnie od wejść

kkk: wybaczy Pan mialo byc : (p ∧ q) v (p=>q) => ( ~q=>~p)

kkk: i sprawdziłem przy pomocy tabeli i jest to prawdziwe niezależnie od wejsc czyli jest prawda

Kamil: p|q|(p ∧ q)|(p=>q)| ( ~q=>~p)|(p ∧ q) v (p=>q)|(p ∧ q) v (p=>q) => ( ~q=>~p) 0|0| 0 | 1 | 1 | 1 | 1 0|1| 0 | 0 | 0 | 0 | 1 1|0| 0 | 1 | 1 | 1 | 1 1|1| 1 | 1 | 1 | 1 | 1 więc niezależnie od wejść zdanie ciągle jest prawdziwe więc jest tautologią

kkk: dziekuje dokladnie to samo mi wyszlo