czy zdanie jest prawdziwe
maria: Czy prawdziwe jest zdanie?
Jeżeli liczba naturalna a dzieli sie przez 3, to z faktu, ze nie dzieli sie przez 3 wynika, ze
dzieli sie przez 5.
p − liczba naturalan dzieli sie przez 3
q− nie dzieli sie przez 3 = ~p
r = dzieli sie przez 5
Czy może być taka formuła:
p=>(~p=>r)
I teraz
p|~p|r|p=>(~p=>r)
1|0 |1|1
0|1 |1|1
1|0 |0|1
0|1 |0|1
Czy to jest dobrze?
8 cze 11:29
ite: dobrze,
formuła zapisana prawidłowo a implikacja jest zawsze prawdziwa
8 cze 11:58