A proposição composta com "ou" (v) é verdadeira apenas quando ambas as proposições são verdadeiras.

A proposição composta com "ou" (v) é verdadeira apenas quando ambas as proposições são falsas

A proposição composta com "ou" (v) é verdadeira se, pelo menos, uma das proposições for verdadeira.

A proposição composta com "ou" (v) é sempre falsa, independentemente dos valores das proposições.

P∧Q

P∨Q

P→Q

¬P

P→Q será falsa apenas se Q for falso.

P→Q verdadeira, independentemente do valor de Q.

P→Q será verdadeira apenas se Q for verdadeiro.

P→Q falsa apenas se Q for falso.

A negação de uma proposição verdadeira é sempre verdadeira.

A negação de uma proposição falsa é sempre falsa.

A negação de uma proposição não altera seu valor de verdade.

A negação de uma proposição verdadeira é falsa, e a negação de uma proposição falsa é verdadeira.

Se hoje é segunda-feira, então eu vou ao cinema.

Se hoje é segunda-feira, então eu não vou ao cinema.

Se eu não vou ao cinema, então hoje não é segunda-feira.

Se eu vou ao cinema, então hoje é segunda-feira.

• Se eu ganhar na loteria, então serei rico. Não ganhei na loteria. Logo, não sou rico.

• Se eu estudar, então passo na prova. Eu estudei. Logo, passei na prova.

• Se a luz está acesa, então a sala está iluminada. A sala não está iluminada. Logo, a luz não está acesa.

• Se eu for à praia, então está ensolarado. Não fui à praia. Logo, não está ensolarado.

• Um operador verofuncional que calcula valores de verdade.

• Uma regra lógica que afirma que, se "P implica Q" e "P" é verdadeiro, então "Q" também é verdadeiro.

• Uma regra lógica que afirma que, se "P implica Q" e "Q" é falso, então "P" é verdadeiro.

• Uma operação lógica que nega a proposição.

• Porque ele nega "P" para provar "Q".

• Porque depende da validade de "Q".

• Porque sempre chega à conclusão "P implica Q".

• Porque, se "P implica Q" e "P" é verdadeiro, então "Q" deve ser verdadeiro.

• Um operador que inverte o valor de verdade de uma proposição.

• Um processo que afirma que, se "P implica Q" e "P" é falso, então "Q" também é falso.

• Um operador lógico que verifica se "P" e "Q" são verdadeiros.

• Uma regra que afirma que, se "P implica Q" e "Q" é falso, então "P" também é falso.

• Um processo que afirma que, se "P implica Q" e "P" é falso, então "Q" também é falso.

• Se estou com fome, então como. Não estou com fome. Logo, não como.

• Se está a chover, então a rua está molhada. A rua está molhada. Logo, está chover.

Se compro algo, então uso. Comprei algo. Logo, usei.

• Se estudo, então passo no teste. Não passei no teste. Logo, não estudei.

Porque ele depende de "Q" ser verdadeiro

Porque ele infere uma conclusão com base na veracidade de "P".

Porque, se "P implica Q" e "Q" é falso, "P" deve ser falso.

Porque afirma que se "P é falso", "Q" é verdadeiro.

• Bicondicional (↔)

• Modus Ponens

• Modus Tollens

• Tautologia

• Conjunção (∧)

• Bicondicional (↔)

• Negação (¬)

Disjunção (∨)

• A condicional afirma que se P é verdadeiro, então Q deve ser verdadeiro, enquanto a bicondicional afirma que P e Q têm o mesmo valor de verdade.

• Não há diferença entre condicional e bicondicional.

• A bicondicional é verdadeira apenas se P é falso, enquanto a condicional é verdadeira apenas se Q é falso.

• A condicional é verdadeira apenas quando P é verdadeiro, enquanto a bicondicional é sempre verdadeira.

• Indeterminado

• Verdadeiro

• Falso

• Verdadeiro apenas se ambos forem falsos

• Estudei.

• Estudei e não passei.

• Nada pode ser concluído.

• Não estudei.