Erstellt von Nilton Aizawa
vor mehr als 7 Jahre
|
||
Frage | Antworten |
Quando é que a Conjunção (p ∧ q ) é verdadeira? | Quando AMBAS as proposições simples são verdadeiras. |
Quando é que a Disjunção Inclusiva (p ∨ q) é verdadeira? | Quando PELO MENOS UMA das proposições simples é verdadeira. |
Quando é que a Disjunção Exclusiva (p _∨_ q) é verdadeira? | Quando APENAS UMA das proposições simples é verdadeira. |
Quando é que a Condição (p → q) é verdadeira? | Quando NÃO OCORRER VF, NESTA ORDEM. |
Quando é que a Bicondição (p ⟷ q) é verdadeira? | Quando NÃO OCORRER VF, NEM FV. |
Quando é que um Argumento Lógico Dedutivo é válido? | É necessário que sua conclusão seja verdadeira, sempre que todas as suas premissas forem verdadeiras. |
Na Lógica Formal, o que significa a expressão raciocínio dedutivo? | Qualquer informação que não esteja presente nas premissas, não poderá estar na conclusão. |
Quais são as principais equivalências notáveis da condição? | I. p → q ⇔ ~(p ∧ ~q) II. p → q ⇔ ~p ∨ q III. p → q ⇔ ~q → ~p |
Qual é a principal equivalência notável da bicondição? | p ⟷ q ⇔ (p → q) ∧ (q → p) |
O que é Tautologia? | Proposição composta que sempre terá resultado lógico verdadeiro. |
O que é Contradição? | Proposição composta que sempre terá resultado lógico falso. |
O que é Contingência? | Proposição composta que tanto pode ser verdadeira, quanto pode ser falsa. |
Onde se aplicam as Leis de De Morgan? | Só se aplicam as Leis de De Morgan nas negações de: - conjunção; - disjunção inclusiva |
Como se estabelece a negação da condição? | ~ ( p ⟶ q ) ⇔ p ∧ ~ q |
Como se estabelece a negação da bicondição? | ~( p ⟷ q) ⇔ ( p∧ ~q) ∨(~ p ∧ q) ou ~( p⟷q) ⇔ ( p _∨_ q ) |
Como se estabelece a negação de "Todo S é P? | "Algum S não é P" |
Como se estabelece a negação de "Nenhum S é P"? | "Algum S é P" |
Como se estabelece a negação de "Algum S é P? | "Nenhum S é P" |
Como se estabelece a negação de "Algum S não é P"? | "Todo S é P" |
Möchten Sie mit GoConqr kostenlos Ihre eigenen Karteikarten erstellen? Mehr erfahren.