Zajęcia TBSP z Logiki dla Prawników 2013

Agnieszka Guzik, Filip Leszczyński

Sprawdzanie tautologiczności wyrażeń – zadania

1. ( ( ( p  q )  s )   q )   (  s   r )

2. ( ( s  q )  (  q   s ) )   ( q   s )

3. ( ( (  p  s )  ( q   p ) )  (  p  s ) )  ( q   p )

4.  ( ( ( q  s )  ( s   p ) )  ( ( p /  q )  (  s   q ) ) )

5. ( ( q  s )  ( (  s  p )   r ) )  ( ( q  p ) / ( r   s ) )

6. ( ( q  ( s   p ) ) / ( p  r ) )  ( (  r   s )  ( (  q  r )  p ) )

7.  ( ( p  q ) /  (  q  ( r  p ) ) )  (  ( q / (  p   q) )  ( ( p  r )   ( p   r ) ) )

8.  ( ( ( p  q )  (  p  r ) )   ( (  q  p ) /  (  r  q ) ) )

9. ( ( q  p )  ( p   r ) )  ( ( ( r   p )  q ) / (  q   r ) )

10. ( ( p  ( q  r ) )  (  p  ( s / q ) ) )  (  q   (  s  (  r  q ) ) )

11. ( ( ( p  r )  ( q   p ) )  ( (  r / p )  q ) )  ( (  r  p ) / (  p  q ) )

12. ( ( q  p )  (  r / p )  ( q  p ) )  ( r  ( q   p ) )

13. (  q   (  s  (  r  q ) ) )  ( ( p  ( q  r ) )  (  p  ( s / q ) ) )

14.  (  ( r  p )  ( q  s ) )   (  ( r  q )   ( p / s ) )

15.  ( ( (  q / p )  ( r  p ) )  (  ( q  r )  (  r  p ) ) )

16. ( (  q  r ) / p )  ( ( p  r )  (  q   p ) )

TOWARZYSTWO BIBLIOTEKI SŁUCHACZÓW PRAWA UJ

ul. Bracka 12 /302, 31-005 Kraków

www.tbsp.pl