Terminais de informação para copa do mundo

Conjunção (^): e ou P | Q | P^Q | V | V | V | V | F | F | F | V | F | F | F | F | quando todas preposições forem verdadeiras a conjunção entre elas será Verdadeira, se haver uma entre elas falsa a conjunção entre elas será falsa.

Disjunção (v) P | Q | PvQ | V | V | V | V | F | V | F | V | V | F | F | F |

| | | | | | | | | |
Na disjunção só será falsa quando tivermos todas preposições falcas do contrario a disjunção [é verdadeira
Disjunção exclusiva (v) P | Q | PvQ | V | V | F | V | F | V | F | V | V | F | F | V |

é verdadeira quando p e q possuem valores lógicos diferentes; é falsa (F) quando p e q possuem valores lógicos idênticos.

Condicional (→):“se P então Q”,

No caso em que P é verdadeira e Q é falsa, a condicional é Falsa, nos demais casos, a Condicional é sempre Verdadeira

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

P | Q | P↔Q | V | V | V | V | F | F | F | V | F | F | F | V |

Bicondicional (↔)se e somente se

quando as preposições forem diferentes a bicondicional é falsa

Ela é contrario da disjunção exclusiva

Tautologia é toda proposição composta
P(p, q, r,...) cujo valor lógico é sempre V
(verdade)
Contradição é toda proposição composta
P(p, q, r,...) cujo valor lógico é sempre F
(falso),
Contingência é toda proposição composta P(p, q, r,...) cujo valor lógico depende dos valores lógicos das proposições simples p, q, r,... que a compõe. Exemplo:
A proposição (p q) ~(p q) é contraditória, conforme mostra a tabela verdade, porém, as colunas intermediárias são contingências.

Implicação lógica:
 Definição: Uma proposição P (p, q, r,...) implica logicamente uma proposição
Q (p, q, r,...) se Q (p, q, r,...) é verdadeira todas as vezes que P (p, q, r,...) for verdadeira.  Notação:
P (p, q, r,...) Q (p, q,