Escolar Documentos
Profissional Documentos
Cultura Documentos
Estruturas Lgicas Diagramas Lgicos Lgica de Argumentao PROPOSIO uma sentena declarativa, e que aceita um valor lgico (verdadeiro ou falso). Exemplos: Luizinho foi escola. Dois par. O cu vermelho. Observao: 1) Observe essa sentena: Essa frase falsa. Embora seja declarativa, NO proposio, pois no aceita valor lgico. Chama-se PARADOXO. 2) Na lgica sentencial NO existem proposies abertas. Por exemplo, a sentena x maior que 5 NO considerada proposio na lgica sentencial. Quem a considera como proposio (aberta) a lgica de 1 ordem. VALOR LGICO S h dois: verdadeiro (V) e falso (F). Toda proposio lgica, se no V, j F. E se no F, j V. TABELA-VERDADE uma tabela por meio da qual relacionam-se e analisam-se os valores lgicos das variveis proposicionais. Para 1 varivel proposicional: P P V F Para 3 variveis proposicionais: P, Q, R. P V V V V F F F F Q V V F F V V F F R V F V F V F V F Para 2 variveis proposicionais: P, Q. P V V F F Q V F V F
OBS.: O nmero de linhas de uma tabela-verdade para n variveis proposicionais dado por 2n.
jairoteixeirajr@gmail.com
Pgina 1
PARA GRAVAR: NEGAO: TROCA CONJUNO: TODAS tm que ser V. DISJUNO: BASTA uma V. DISJUNO EXCLUSIVA: EXCLUSIVAMENTE uma V. CONDICIONAL: S D F, DE V PRA F BI-CONDICIONAL: IGUAISd V DIFERENTESd F.
VACA P Q Se P, ento Q. Q, se P. Quando P, Q. Sempre que P, Q. P, logo Q. P implica Q. Todo P Q. P suficiente para Q. Q necessrio para P. jairoteixeirajr@gmail.com
ANIMAL E NECESSRIA T O
SUFICIENTE E
Pgina 2
TAUTOLOGIA: uma proposio composta cujo valor lgico verdadeiro (V), independentemente dos valores dos termos que a compe. Exemplo: Estudo ou no verdade que estudo e trabalho. Estruturando a proposio, temos: P ~(P Q) P Q (P Q) ~(P Q) P ~(P Q) V V V F V V F F V V F V F V V F F F V V
CONTRADIO: uma proposio composta cujo valor lgico falso (F), independentemente dos valores dos termos que a compe. Exemplo: Aprendo, se e somente se, no aprendo. Estruturando a proposio, temos: P ~P P ~P P ~P V F F F V F
CONTINGNCIA: uma proposio composta cujo valor lgico pode ser verdadeiro (V) ou falso (F), dependendo dos valores dos termos que a compe. Exemplo: Se durmo, ento no durmo. Estruturando a proposio, temos: P ~P P ~P P ~P V F F F V V
jairoteixeirajr@gmail.com
Pgina 3
~(p q) p ~q p V V F F q V F V F pq V F V V ~(p q) F V F F ~q F V F V p ~q F V F F
Todo P Q. PQ Q P
Algum P Q. PQ Q P
Nenhum P Q. P~Q Q
jairoteixeirajr@gmail.com
Pgina 4
Todo P Q.
Algum P Q. Nenhum P Q.
NEGAO Algum P no Q. Existe P que no Q. Pelo menos um P no Q. Nem todo P Q. Nenhum P Q. Algum P Q.
LGICA DE ARGUMENTAO ARGUMENTO: uma afirmao de que uma certa seqncia de proposies p1 , p2 , ..., pn (premissas) tem como conseqncia uma proposio q (concluso). Simbolicamente indicamos um argumento assim: p1 , p 2 , ... , p3 q VALIDADE DE UM ARGUMENTO Um argumento vlido se, e somente se, a concluso for verdadeira, todas as vezes que as premissas forem verdadeiras. Para testar a validade de um argumento usaremos as tabelas-verdade. Acompanhe um exemplo: Exemplo 1: Verifique a validade do argumento: Se eu como muito, engordo. Como no tenho comido muito, no tenho engordado. Simbolicamente temos: p q , ~p ~q
pq ~p ~q V F V V P F F V V P F V F V C
Na linha L3 as premissas so verdadeiras, mas a concluso falsa. Portanto, o argumento no vlido. Chama-se falcia ou sofisma.
V V V F F F V F
jairoteixeirajr@gmail.com
Pgina 5
Exemplo 2: Verifique a validade do argumento Todo gato voa Toda vaca gato Toda vaca voa p: gato q: Voa r: vaca pq,rprq
pq V V F F V V V V
rp V V V V F V F V
V V V V V V V F F F F F F F V F
V V V F F F V F
OBS.: Entenda que a lgica s se preocupa com a validade ou no do argumento, e no com a verdade ou falsidade das premissas e das concluses.
jairoteixeirajr@gmail.com
Pgina 6