Considerando as proposições simples : P: Túlio e arquiteto q: João e menor de idade A apresentação simbólica da proposição lógica:"Túlio e arquiteto se,e somente se ,João e menos de idade " é:
O conectivo proposicional [tex]\leftrightarrow[/tex] denominado bicondicional pode ser considerado uma abstração do conectivo sentencial "se, e somente se," da linguagem natural, portanto "[tex]p[/tex] se, e somente, [tex]q[/tex]" é traduzido como:
Lista de comentários
Resposta:
[tex]p\leftrightarrow q[/tex]
Explicação passo a passo:
[tex]p:=[/tex] Túlio é arquiteto
[tex]q:=[/tex] João é menor de idade
O conectivo proposicional [tex]\leftrightarrow[/tex] denominado bicondicional pode ser considerado uma abstração do conectivo sentencial "se, e somente se," da linguagem natural, portanto "[tex]p[/tex] se, e somente, [tex]q[/tex]" é traduzido como:
[tex]p\leftrightarrow q[/tex]