Lógica de argumentação II Flashcards

1
Q

Condicional associada de P → Q, Q ⊢ P.

A

Considerado a tabela-verdade:

P | Q | P → Q | Q | P |
V | V |…..V…… | V | V |
V | F |……F…… | F | V |
F | V | …..V….. | V | F |
F | F | …..V…… | F | F |

Fragmentaremos:

P | Q | P → Q | Q | P |
V | V |…..V…… | V | V |

Isso, é a mesma coisa que:

Se (P→Q ∧ Q), então P
Traduzindo:

Se VV, então V
Se V, então V.

O valor lógico dessa sentença é V, pois “V→V = V”

Podemos repetir a mesma coisa com as outras linhas da tabela-verdade:

P | Q | P → Q | Q | P |
V | F |……F…… | F | V |

Se (P→Q ∧ Q), então P
Se F ∧ F, então V
Se F, então V.

O valor lógico dessa sentença é V, pois “F→V = V”

_

P | Q | P → Q | Q | P |
F | V | …..V….. | V | F |

Se (P→Q ∧ Q), então P
Se V ∧ V, então F.
Se V, então F.

O valor lógico dessa sentença é F, pois “V→F = F”

_

P | Q | P → Q | Q | P |
F | F | …..V…… | F | F |

Se (P→Q ∧ Q), então P
Se V ∧ F, então F.
Se F, então F.

O valor lógico dessa sentença é V, pois “F→F = V”.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Condicional associada de P → Q, Q ⊢ P é uma tautologia?

A

Não, pois, quando tratamos da condicional associada dessa proposição, existe uma possibilidade “V → F”, que, como já sabemos, é uma condicional falsa, não podendo então, ser uma tautologia.

“P → Q, Q ⊢ P” é uma contingência (ou indeterminação), pois pode assumir tanto valores V, quanto F.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Condicional associada de P → Q, Q ⊢ P não é uma tautologia, mas onde queremos chegar com essa explicação toda?

A

Que quando as premissas ficarem verdadeiras, com uma conclusão falsa, esse argumento será inválido, pois não é garantido que ele seja necessariamente verdadeiro. Com esse entendimento, chegamos a conclusão de que não é necessário fazer tabela-verdade em todas as questões, só precisamos entender os pontos destacados.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Todo e qualquer argumento pode se transformar em uma condicional

A

Correto e certo.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Direto ao ponto: P → Q, Q ⊢ P para uma condicional associada.

A

P → Q, Q ⊢ P
Se ((P → Q) ∧ Q), então P.

Considerando todas V:

P→Q: V
Q: V
Q: V

Se V ∧ V, então V.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly