Zajęcia TBSP z Logiki dla Prawników 2013
Agnieszka Guzik, Filip Leszczyński
Tautologie  odpowiedzi
1. ~� ( ~� ( ~� q Ł� p ) �� ( ~� p �� ~� r ) ) �� ~� ( ( ~� q �� ~� p ) /� ( p ^� r ) )
NT, bo dla p = 0, q = 0, r = 0 ff
2. ~� ( ( ~� q �� r ) Ł� ~� ( ( ~� r / q ) / ~� q ) ) �� ( ( ~� q / ( ~� q / ~� r ) ) Ł� ( r / ~� q ) )
NT, bo dla q = 0, r = 1 ff
3. ~� ( ( ( q �� ~� p ) Ł� ~� ( r Ł� ~� q ) ) �� ( ~� ( ~� p Ż� ~� q ) /� ( r /� ~� q ) ) )
Tautologia
4. ( ~� ( p �� ~�q ) �� ~� ( ~� r / q ) ) �� ( ( ~� p �� ~� q ) Ł� ~� ( r Ż� ~�q ) )
NT, bo dla p = 1, q = 1, r = 0 ff
5. ( ( ( q Ł� r ) �� p ) Ł� q ) �� ~� ( p �� ~� r )
NT, bo dla p = 1, q = 1, r = 0 ff
6. ( ( q �� ( r �� p ) ) Ł� ( s �� ( r �� p ) ) ) �� ( p �� ( q / s ) )
NT, bo dla p = 1, q = 1, r = ?, s = 1 ff
7. ( ( ~� q �� r ) Ł� p ) �� ( q ^� ~� ( p �� r ) )
NT, bo dla p = 1, q = 0, r = 1 ff
8. ( ( q ^� r ) �� p ) �� ( ( ~� r Ł� p ) �� q )
NT, bo dla p = 1, q = 0, r = 0 ff
9. ( ( ( q Ł� ~� r ) �� p ) Ł� ( ( s Ł� ~� r ) �� ~� p ) ) �� ( ~� p �� ( q �� r ) )
Tautologia
10. ( ( ( q Ł� r ) �� ~� ( p �� ( t �� s ) ) ) Ł� ( u �� r ) ) �� ( q �� ( ( u Ł� p ) �� ~� s ) )
Tautologia
Nietautologie możliwe są również dla innych, niż podane, wartości zmiennych zdaniowych, które
czasem zależą od kolejności i miejsca przyjęcia wariantów.
TOWARZYSTWO BIBLIOTEKI SA
UCHACZÓW PRAWA UJ
ul. Bracka 12 /302, 31-005 Kraków
www.tbsp.pl