ESPAO JURDICO RACIOCNIO LOGICO

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 2 variveis proposicionais: Para 1 varivel P, Q. proposicional: P P V F Para 3 variveis proposicionais: P, Q, R. P Q R V V V V V F V F V V F F F V V F V F F F V F F F jairoteixeirajr@gmail.com 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.

Pgina 1

ESPAO JURDICO RACIOCNIO LOGICO

OPERADORES LGICOS

NEGAO: NO (~) P~PVFFV

CONJUNO: E ( ) PQP QVVVVFFFVFFFF

DISJUNO: OU ( ) PQP QVVVVFVFVVFFF

DISJUNO EXCLUSIVA : OU ..., OU ... ( ) PQP QVVFVFVFVVFFF

CONDICIONAL: SE ..., ENTO ... () PQP QVVVVFFFVVFFV

BI-CONDICIONAL: SE, E SOMENTE SE ... () PQP QVVVVFFFVFFFV

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. SUFICIENTE Q, se P. E Quando P, Q. Sempre que P, Q. P, logo Q. P implica Q. Todo P Q. P suficiente para Q. Q necessrio para P. TAUTOLOGIA, CONTRADIO E CONTINGNCIA jairoteixeirajr@gmail.com

ANIMAL

E NECESSRIA T O

Pgina 2

ESPAO JURDICO RACIOCNIO LOGICO

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 V V F F V F V F (P Q) V F F F ~(P Q) F V V V P ~(P Q) V V 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 V F ~ P F V P ~P F 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 V F ~ P F V P ~P F V

EQUIVALNCIAS E NEGAES jairoteixeirajr@gmail.com Pgina 3

ESPAO JURDICO RACIOCNIO LOGICO

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

p q p q V V F F V F V F V F F F

~(p q) p ~q p V V F F q V F V F p ~(p q Todo P q) V Q. F F V PF Q V V F Q P ~ q F V F V p ~q F V F F

~ ~ (p ~ ~p p q q) ~q V V V F F F F V F V F F V F F V V F V F F F F F V V V V QUANTIFICADORES E DIAGRAMAS LGICOS OBS.: Vale a pena gravar: p q

P Q ~Q ~P ~ (P Q) ~P ~Q Algum P Nenhum P Q. ~ (P Q) ~P ~Q Q. (P Q) ~P Q ou ~Q P~Q P P Q ~ (P Q) P ~Q

p q

P x

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.

jairoteixeirajr@gmail.com

Pgina 4

ESPAO JURDICO RACIOCNIO LOGICO

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 , p2 , ... , 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

p q V V V F F V F F

p q V F V V

~ p F F V V

~ q F V F V
Na linha L3 as premissas so verdadeiras, mas a concluso falsa. Portanto, o argumento no vlido. Chama-se falcia ou sofisma.

C P P Exemplo 2: Verifique a validade do argumento Todo gato voa Toda vaca gato Toda vaca voa p: gato q: Voa p q , r p r q

r: vaca jairoteixeirajr@gmail.com

Pgina 5

ESPAO JURDICO RACIOCNIO LOGICO

p q r V V V V V F V F V V F F F V V F V F F F V F F F

p q V V F F V V V V

r p V V V V F V F V

r q 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.

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