proszę o sprawdzenie Zakładając, że zdanie (p^r)=>q jest fałszywe ocenić wartość
Gienek: Zakładając, że zdanie (pr)=>q jest fałszywe ocenić wartość logiczną zdania
~(q=>p) v (r<=>q)
P Q R q => p ~(q => p) r<=>q ~(q=>p) v (r<=>q)
1 1 1 1 0 1 1
1 1 0 1 0 0 0
1 0 1 0 1 0 1
1 0 0 0 1 1 1
0 1 1 1 0 1 1
0 1 0 1 0 0 0
0 0 1 1 0 0 0
0 0 0 1 0 1 1
wyrażenie logiczne nie jest tautologią
czy o to chodizło w tym zadaniu? czy należało to jakoś inaczej rozwiązać?
14 mar 08:47
Janek191:
Co znaczy (pr) ⇒ q ?
Czy nie powinno być p ⇒ q ?
14 mar 09:43
Gienek: nie wiem czemu, ale nie mogę zapisać koniunkcji, bo system zmienia to na potęge, chodziło o
zdanie
(p koniunkcja r)=>q
14 mar 09:55