Você está na página 1de 25

A importncia da Lgica Simblica

PERODO BOOLEANO

George Boole

AUGUSTUS DE MORGAN

GOTLOB FREGE

GIUSEPPE PEANO

Perodo Atual

BERTRAND RUSSELL

ALFRED NORTH WHITEHEAD

DAVID HILBERT

KURT GDEL

ALFRED TARSKI

N.C.A. DA COSTA

L. A. ZADEH

Tabelas de Verdade

q V

p^q V

V
F

F
V

F
F

q V

pvq V

V
F

F
V

V
V

q V

pwq F

V
F

F
V

V
V

q V

pq V

V
F

F
V

F
V

q V

pq V

V
F

F
V

F
F

~p F

Tabelas de Pontuao

Simbolize as sentenas usando como referncia as letras sublinhadas


Alm da pssima distribuio de renda no pas, continua a corrupo. D.C
b) Se hoje quinta-feira , ento amanh ser sextafeira. QS

Traduza as variaes do enunciado a seguir, a partir dos smbolos que aparecem na sequncia

Exemplo: ''A linguagem da economia o economs, e os economistas falam economs".' L.E

A) ~L
a)A linguagem da economia no o economs. b)~(L . E) b)No o caso, ao mesmo tempo, que alinguagem da economia o economs e que os economistas falam economs. C) LE C)A linguagem da economia o economs se e somente se os economistas falam economs.

d)(L.~E)L
d)Se a linguagem da economia o economs e os economistas no falam economs, ento a linguagem da economia o economs. e)(L v ~E).(~L.E) e)A linguagem da economia o economs ou os economistas no fala economs. Alm disso, a linguagem da economia no o economs e os economistas falam economs.

"Se A, B e C so enunciados verdadeiros e X, Y e Z so enunciados falsos, quais so os verdadeiros dentre os enunciados seguintes"

a)(CvZ).(YvB) Verdadeiro b)~B v C Verdadeiro c)~[(~YvZ)v(~ZvY)] Falso d)[A.(BvC)].~[(A.B)v(A.C)] Falso

Formas de enunciados

Tautologia
P V V F
F

Q V F V
F [(PQ) . ~Q) ~P

~Q F V F
V

V F V V

F F F V

F V F V

V V V V

F F V V

Contradio
P V F

V F

p.~p F F

F V

Contingncia
DS D.S

V
V F F

V
F V F

V
V F F

V
F F F

V
F V F

Consistncia dos enunciados

Lgica dos Predicados


a)"Todo S p pode ser expresso assim: Qualquer que seja x, se x S, ento x P. Ou seja x(Sx Px)
b)"Nenhum humano mortal pode ser formalizado assim: Qualquer que seja x, se x H, ento x no M. Ou seja: x (Hx~Mx)