RACIOCNIO LGICO QUALITATIVO

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

OPERADORES LGICOS NEGAO: NO (~) P ~P V F F V CONJUNO: E () P V V F F Q PQ V V F F V F F F DISJUNO: OU () P Q P Q V V V V F V F V V F F F

DISJUNO EXCLUSIVA : OU ..., OU ... () P Q PQ V V F V F V F V V F F F

CONDICIONAL: SE ..., ENTO ... () P Q PQ V V V V F F F V V F F V

BI-CONDICIONAL: SE, E SOMENTE SE ... () P Q P Q V V V V F F F V F F F V

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.

OBSERVAO: CONDIO SUFICIENTE E CONDIO NECESSRIA

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, CONTRADIO E CONTINGNCIA

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

EQUIVALNCIAS E NEGAES So proposies que apresentam a mesma tabela-verdade. (p q) ~q ~p p V V F F q V F V F ~p F F V V ~q p q ~q ~p F V V V F F F V V V V V ~(p q) ~p ~q p V V F F q pq V V F F V F F F ~ (p q) F V V V ~p F F V V ~q F V F V ~p ~q F V V V p V V F F q V F V F pq V V V F (p q) ~p q ou ~q p p q (p q) ~p ~p q ~q ~q p V V V F V F V V F V F V V V F V V V V F V F F F V F V F ~(p q) ~p ~q ~ (p q) F F F V ~p F F V V ~q F V F V ~p ~q F F F V

~(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

OBS.: Vale a pena gravar: P Q ~Q ~P ~ (P Q) ~P ~Q ~ (P Q) ~P ~Q (P Q) ~P Q ou ~Q P ~ (P Q) P ~Q

Todo P Q. PQ Q P

Algum P Q. PQ Q P

Nenhum P Q. P~Q Q

P x QUANTIFICADORES E DIAGRAMAS LGICOS

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

rq V V F V V V F V Nas linhas L1 , L2 , L6 e L8 as premissas so verdadeiras e a concluso verdadeira. Portanto, o argumento vlido.

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