inne torun0930a

Przykłady zdań do praw logicznych-

. /

J. f.(p=>q)o(p^A~q)/•'

Nie jest tak, że Jeśli Jan zdał egzamin to Jan dostał się na studia tytko wtedy, gdy Jan zdał egzamin i Jan nie dostał się na studia, n.    jyq)ił

Jeśli jan zdał egzamin to Jan zdał na U rok tylko wtedy, gdy nie jest tak, że Jan zdał egzamin i Jan nie zdał na II rok

2>. fpvq)o~(~p-'~q) _r    -ilłwu^n

Świeci słońce lub pada deszcz tylko wtedy, gdy nie Jest tak, ze nic świeci słońce i nie coda desza.

< (pvq)*»{-p=>q) ^ «Wv^v

Jan jest prawnikiem lub Jan jest stoiarzem tylko wtedy, gdy jeśli Jan nie jest prawnikiem to Jan jest stolarzem. .

5 (P»q)<^((p->q}*fq->p)a/    -c    V<?\ ,

Jan zabił żonę tylko wtedy, gdy żona została zabita przez Jana, tylko wtedy, gdy jeżeli Jan zabił żonę to zona została zabita przez Jana ł jeżeli zona została zabita przez Jana to Jan Zabił żonę.

k. ~(poq)o((p^A~<})v(q^A~p)) «•*    •.V. v*m

Nie jest tak, że Jan może prowadzić samochód tylko wtedy, gdy Jan ma prawo jazdy, tylko wtedy gdy Jan może prowadzić samochód i Jan.nie mą prawa jazdy lub Jan ma prawo Jazdy I Jan nie może prowadzić samochodu.

} t(P=>g}^AP)->q ‘i'U- !“■■>    :'^AV-'A

Jeśli nie świeci słońce co jest noc I nie świeci słońce to jest noc.

?.((p=>q}^A~q) = >~p    leiłtw*

Jeżeli świeci słońce to me ma deszczu i jest deszcz to nie świeci słońce.

((~P^v~q)^/'p)"^>~q ws^(w> puwło

Jeżeii woda nie zamarza lub temperatura nie jest powyżej zera i woda zamarza to temperatura nie jest powyżej zera.

tC.(p^A(qvr))o((p^Aq)v(p^Ar)) y    u.,.._As <**«**..v-v    ..tł.c

Jest ciemno i nie świeci słońce !ub jest noc tylko 'wtedy, gdy jest ciemno i nie świeci słońce lub jest ciemno i jest noc.

<?' ((p=>q)^A(p3>r)cs(p=>(q^Ar)) r^r •^v'^a ’    ■    u»««jw

Jeżeli Jan popełnił przestępstwo drogowe to Jan stracił prawo jazdy i jeżeli Jan popełnił przestępstwo drogowe to Jan nie moro prowadzić pojazdów mechanicznych tylko wtedy gdy jeśli Jan popełnił przestępstwo drogowe to Jan stracił prawo jazdy i nie może prowadzić pojazdów mechanicznych.

U t(p=>q)^A(a=>r)^ >^p^>r)    ^ A_kl ._v,.₍ -j r '

Jeżeli liczba 8 dzteii się przez 4 to liczba 8 d2:e!i się przez 2 l jeżeli liczba 3 dzieli się przez 2 to liczba 3 Jest liczbą parzysta, więc jeżeli liczba 8 dzieli się przez *1 to liczba 8 jest iir.-hą parzystą.    \

lb.(pv(q^/'r))o((pvq)^A(pvr)) y-    ,m

Jan jest prawnikiem lub Tomasz jest prawn>k«*m • Tomasz jest sędzią tylko wtedy, gdy Jan jest prawnikiem lub Tomasz jest prawnikiem > Inn jest prawnikiem lub Tomasz jest sędzią W.(D->q)“>((q=>r)=>(p=>r))

J-żeli Tomasz popelr.il przestępstwo to Tomasz p»*t.'ega karze, »vigCve.:eli Tcrrasz podlega karze to Tomasz może zostać skazany to jeżeli Tomasz popełni! przestępstwo to Tomasz może zostać skazany.

"(p^O) ~{~pv~q)    .. a‘u.    ^ j__y

Nie jest tak, ze lan wstąpił do wojska i Jan jest żołnierzem tylko wtedy, gdy Jan nie wstąpił do wojska lub Jan ńie jest żołnierzem.