~(p^q)Ξ(~pv~q)

~(pvq)Ξ(~p^~^q) :prawa demorgana

(pΞq)Ξ[(p q)^(q p)

(P^~(q~r)}Ξ[p^(q^~~r)]Ξ[p^(q^r)]

~(Lp)Ξ(L^~P)

metoda zero-jedynkowa

POJĘCIE ALAGORYZMU

Alagoryzm – metoda rozwiązywania określonego typu zagadnień. Posługująca się językiem symbolicznym np.: monotematycznym lub logicznym podająca zbiór przepisów postępowania określających dokładnie kolejno następujące po sobie czynności które należy wykonać aby rozwiązać zagadnienia pewnego typu. Przykładem alegoryzmu jest metoda zero-jedynkowa sprawdzenia formul rachunku.

TAUTOLOGIA RACHUNKU ZDAŃ--- nazywamy każde i tylko takie wyrażenie języka rachunku które jest schematem wyłącznie prawdziwych zdań. Z uwagi na ekstensywność spójników rachunku zdań o dowolnym schemacie możemy rozstrzygnąć czy jest on tautologia w skończonej liczbie kroków

[(Pq )^~q ]~p

P	Q	~p	~q	pq	(pq)^~p	[(pq)^~q]~p
1	1	0	0	1	0	1
0	1	1	0	1	0	1
1	0	0	1	0	0	1
0	0	1	1	1	1	1

Nie wiesz był Bertracel Russelt zatem nie interesowałeś się filozofią XX w.

[(pq)^~q]~p

[(pq)^p]q

P	Q	pq	(pq)^p	[(pq)^p]~p
1	1	1	1	1
0	1	1	0	1
1	0	0	0	1
0	0	1	0	1

[(pq)^~p] ~q

P	Q	~p	~q	pQ	(pq)^~p	[(p)^~p]~q
1	1	0	0	1	0	1
0	1	1	0	1	1	0
1	0	0	1	0	0	1
0	0	1	1	1	1	1

[(pq)^(p~q)]~p -------- 1

[(pq)^(qr)](pr)

I ~(p^q)Ξ(~pv~q)

II ~(p^q)Ξ(~pv~q)

Jeśli liberałowie są przeciwnikami gospodarki planowej to nie popierają idei państwa opiekuńczego

a)Nieprawda że liberałowie nie są przeciwnikami gospodarki planowej lub nie popierają idei państwa opiekuńczego

b) liberałowie nie są przeciwnikami gospodarki planowej i nie popierają idei państwa opiekuńczego

(p^q)Ξ~(~pv~q)