RACIOCNIO LGICO

Lgica Formal
1 PROPOSIO: toda sentena afirmativa a qual podemos atribuir um dos valores
lgicos (VE!"!E#$ $% F"L&$'(
E)(:
* pertence ao con+unto dos n,meros naturais (verdadeira'
- . - / 0 (falsa'
)
-
1 2 / -3 (sentena aberta) n4o proposi4o5 envolve uma vari6vel5 n4o possui
valor lgico definido
- NEGAO DE UMA PROPOSIO (~): nega4o de uma proposi4o(
" nega4o da nega4o de uma proposi4o a prpria proposi4o(
* 7$7$&#89E& :$;7$&<"&: s4o proposi=es formuladas a partir de
proposi=es simples e conectivos ou condicionais(
*(1 :onectivo >?e??
p q p e q
V V V
V F F
F V F
F F F
*(- :onectivo >?ou??
p q p ou q
V V V
V F V
F V V
F F F
$ ou s falso de as duas proposi=es forem falsas5 para ser verdadeiro necess6rio
apenas que uma das proposi=es se+am verdadeiras(
*(* :onectivo >?ou ((( ou (((??
p q ou p ou q
V V F
V F V
F V V
F F F
7are ser verdadeiro5 apenas uma das proposi=es pode ser verdadeira(
*(@ :ondicional > se((( ent4o (((??
p q se p ent4o q
V V V
V F F
F V V
F F V
& falso quando a primeira verdadeira e a segunda falsa(
7 A B
E)(:
&e baiano5 ent4o brasileiro(
&e p ent4o q:
7 condi4o suficiente para q(
B condi4o necess6ria para p(
*(2 Cicondicional > se((( e somente se (((??
p q se p ent4o q
V V V
V F F
F V F
F F V
7 B
7 condi4o necess6ria e suficiente para B(
(