Zapisywanie zdań mowy potocznej za pomocą schematów klasycznego

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)

Implikacja, która ma w następstwie podwójną negację.

2) Nieprawda, że jeżeli Einstein był genialny to Newton był ograniczony.

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

Implikacja, która w poprzedniku ma koniunkcję.

4) Jeżeli prawa dziejowe nie istnieją lub są niewykrywalne to historia jest nauką idiograficzną.
~p q r

(~pVq) r

Implikacja, która w poprzedniku ma alternatywę.

5) Jeżeli mówisz nieprawdę to mylisz się lub kłamiesz.

p q r

p (qVr)

Implikacja, która w następstwie ma alternatywę.

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 )

Implikacja, która w następniku ma implikację (podwójna implikacja).

„O ILE” tzn. „JEŻELI” – to też jest implikacja.

7) Polubisz logikę i uznasz ją za łatwą, jeśli nie masz złych wspomnień z lekcji matematyki.
p q r

~ r  ( p Λ q)

„Jeśli” stanowi początek zdania.

Wypuścić nie wolno rozstrzelać.
Wypuścić nie wolno, rozstrzelać. p q
Wypuścić, nie wolno rozstrzelać. p q

Amfibolia to wieloznaczność składniowa (nie wiemy jak dokładnie mamy rozumieć).

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

Zdam prawo i zdam logikę. p q

Nieprawda, że zdam prawo i zdam logikę. (p q)
Nieprawda, że nie zdam prawa i nie zdam logiki. (p q) ↔( p q)

( p) ↔ p
(p V q) ↔( p q)
(p q) ↔( p V q)

Zaprzeczenie koniunkcji – koniunkcja przechodzi na alternatywę.

Zaprzeczenie alternatywy – alternatywa przechodzi na koniunkcję

Jeżeli wygram w Totolotka, to kupię ci samochód. (p → q) ↔(p q)

p q
Negacja implikacji dwóch zdań jest równoważna koniunkcji poprzednika i zanegowanego
następnika tej implikacji.

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

Implikacja, która w poprzedniku ma koniunkcję.

2) Nieprawda, że jeżeli spory filozoficzne są nierozstrzygalne, a uczeni biorą w nich udział, to

filozofia hamuje postęp w nauce. p q
r
~[(pΛq) r]

Negacja implikacji poprzedzonej koniunkcją.

3) Światło ma naturę korpuskularną zawsze i tylko wtedy, gdy nieprawda, że ma naturę falową.
p q

p↔~q

Równoważność, której w następniku występuje negacja zdania.

4) Jeżeli byłeś w Paryżu, to zwiedziłeś Luwr i widziałeś wieżę Eiffla.

p q r

p(qΛr)

Implikacja, która w następniku ma koniunkcję.

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)

Alternatywa, która w następniku ma koniunkcję.

(pVq)Λr

Koniunkcja, która w poprzedniku ma alternatywę.