Na lógica proposicional, o mas só se é o mesmo que?
Se e somente se (bicondicional)
Conjuntos Disjuntos significa?
Não há elementos em comum. A ∩ B = ∅
Sempre que temos dois condicionais “encadeados” (o consequente do primeiro é o antecedente do segundo), podemos, por silogismo hipotético, concluir um único condicional que “une as pontas”. O que significa?
p→q
q→r
∴p→r
P↔Q é equivalente a:
P↔Q ∧ Q↔P
A disjunção exclusiva ⊻ somente é verdadeira quando?
As proposições P E Q forem diferentes.
VF e FV
A bicondicional ↔ somente é verdadeira quando?
As proposições P E Q forem iguais.
VV e FF