logika
Kasia: logika pomocy
Niech C oznacza czworokąt na płaszczyźnie. Rozważmy zdanie:
Gdy C jest rombem lub nie jest trapezem, to jeśli C Jest trapezem, to jest kwadratem.
a) zapisz rozważane zdanie symbolicznie, stosując oznaczenia:
p: C jest trapezem, q: C jest kwadratem, r: C jest rombem.
b) W każdym z poniższych przypadków rozstrzygnij, czy w danej sytuacji rozważane zdanie jest
zawsze prawdziwe, zawsze fałszywe, czy też może być zarówno prawdziwe, jak i fałszywe (dla
różnych czworokątów C):
1) Wiemy, że C nie jest rombem
2) Wiemy, że C jest trapezem
3) Wiemy, że C nie jest prostokątem.
jedyne co wymyslilam do a) to (r ⋁ ¬p) ⇒ p∧q
a co do reszty to nie mam pojecia jak sie do tego zabac
