A bicondicional p se e somente se q é outra proposição que tem como valor lógico V se p e q forem ambas verdadeiras ou ambas falsas, e F nos outros casos.
O símbolo representa a bicondicional, com a seguinte tabela-verdade:
Exemplo
p = 24 é múltiplo de 3
q = 6 é ímpar
= 24 é múltiplo de 3 se, e somente se, 6 é ímpar.
p = 25 é quadrado perfeito
q = 8 > 3
= 25 é quadrado perfeito se, e somente se, 8 > 3
p = 27 é par
q = 6 é primo
= 27 é par se, e somente se, 6 é primo
extraido de www.colegioweb.com.br
Nenhum comentário:
Postar um comentário