Professional Documents
Culture Documents
rachunku zdań.
Forma logiczna zdania:
1) Jeżeli myślisz jasno to nieprawda, że nie potrafisz jasno wyrazić swoich myśli.
p q
p ~(~q)
Negacja implikacji.
3) Jeżeli historia tłumaczy zdarzenia minione i pozwala przewidywać przyszłość to jest nauką
nomotetyczną. p q r
pΛq r
4) Jeżeli prawa dziejowe nie istnieją lub są niewykrywalne to historia jest nauką idiograficzną.
~p q r
(~pVq) r
p (qVr)
6) Jeżeli czytasz swobodnie po angielsku, to o ile nie potrafisz mówić w tym języku, to znasz
angielski biernie. p q
r
p (~ q r )
7) Polubisz logikę i uznasz ją za łatwą, jeśli nie masz złych wspomnień z lekcji matematyki.
p q r
~ r ( p Λ q)
Umiem. p
Nie umiem p
Nieprawda, że nie umiem. ↔ Umiem. ( p)↔p - prawo podwójnego przeczenia
( p) p
Prawo logiczne to schemat wyłącznie prawdziwych zdań.
p p ( p) ( p)↔p
0 1 0 1
1 0 1 1
( p) ↔ p
(p V q) ↔( p q)
(p q) ↔( p V q)
p q p→q (p → q p q (p → q) ↔(p q)
q)
0 0 1 0 1 0 1
0 1 1 0 0 0 1
1 0 0 1 1 1 1
1 1 1 0 0 0 1
Zadanie.
1) Nie posiadasz wrodzonej wiedzy o języku, jeśli słabo znasz gramatykę i nigdy nie uczyłeś się
logiki. p q r
(qΛ~r) ~p
3) Światło ma naturę korpuskularną zawsze i tylko wtedy, gdy nieprawda, że ma naturę falową.
p q
p↔~q
p(qΛr)
5) Przeczytam kilka podręczników z logiki lub wysłucham wykładów i rozwiążę kilkadziesiąt zadań.
p q r
TO ZDANIE TO AMFIBOLIA.
pV(qΛr)
(pVq)Λr