Lógica de Argumentação - Modelos Clássicos II Flashcards
Dilema destrutivo
P → Q
R → S
~Q v ~S
________
~P v ~R
Se chove, então faz frio
Se faz calor, então vou à praia
Não faz frio ou não vou à praia
Logo, não chove ou não faz calor
Esse argumento é um dilema destrutivo?
P → Q
R → S
~Q v ~S
_______________
~P v ~R
É um dilema destrutivo, trata-se de um argumento válido.
Se Ana vai ao cinema ou Beto assiste ao futebol, então Carlos estuda ou Douglas trabalha.
Se Eliane viaja, então Lucas tira férias.
Ana não vai ao cinema e Beto não assiste ao futebol ou Eliane não viaja.
Logo, Carlos não estuda e Douglas não trabalha ou Lucas não tira férias.
Esse argumento é um dilema destrutivo?
Vamos organizar a casa:
A v B: P
C v D: Q
E
L
P → Q
E → L
~P v ~E????
________
~Q v ~L na conclusão????
Não se trata de um dilema destrutivo.
O correto, para ser um dilema destrutivo e, necessariamente um argumento válido, seria:
P → Q
E → L
~Q v ~L
______________
~P v ~E
Modelos clássicos: absorção.
P → Q
___________
P → (P ∧ Q)
BIZU:
Equivalência da condicional:
P → Q:
≡ ~P → ~Q
≡ ~P v Q
≡ P → (P ∧Q)
A absorção é a que traz apenas um condicional como premissa. A conclusão será o antecedente da premissa implicando com a conjunção do antecedente e o consequente:
P → Q
_______
P → (P ∧ Q)
P → Q ≡ P → (P ∧ Q).
Correto.
P → ~[(~P) v (~Q)] ≡ ~P v Q
~P v Q ≡ P → Q
~[(~P) v (~Q)] ≡ (P ∧ Q)
P → (P ∧ Q) ≡ P → Q
Correto.
Se a Terra é redonda, então Platão foi um filósofo
Logo, se a Terra é redonda, então a Terra é redonda e Platão foi um filósofo.
Esse argumento é válido?
Vamos organizar a casa:
T → P
_________
T → (T ∧ P)
Trata-se da absorção, portanto, é um argumento válido.
Se Salvador é a capital da Bahia, então Fortaleza é a capital do Ceará.
Logo, se Salvador é a capital da Bahia, então Salvador é a capital da Bahia e Fortaleza é a capital do Ceará.
Qual é o nome desse argumento?
S → F
___________
S → (S ∧ F)
Esse é o modelo clássico chamado absorção.
