3)
Vimos que existem regras de precedência para os conectivos no cálculo proposicional.



Para alterar a hierarquia dos conectivos usamos parênteses.



Por exemplo, p logical or r left right arrow q rightwards arrow s é uma bicondicional, nesse caso, primeiro determinamos o valor lógico de p logical or r e de q rightwards arrow s.



Aí então determinamos o valor lógico da bicondicional.



A proposição p logical and tilde r left right arrow tilde q rightwards arrow s também é uma bicondicional.



Já a proposição tilde p logical or r rightwards arrow q logical or tilde sé uma condicional.

Considere as proposições:

1. p logical or tilde q rightwards arrow r logical and s



2. r logical or open parentheses s left right arrow tilde p logical and q close parentheses



3. open parentheses open parentheses p left right arrow tilde q close parentheses rightwards arrow open parentheses tilde r logical or s close parentheses close parentheses logical and open parentheses s left right arrow tilde p close parentheses



Assinale a alternativa que identifica corretamente as proposições acima:

Alternativas:

a)
1 é uma conjunção; 2 é uma bicondicional; 3 é uma negação.

b)
1 é uma disjunção; 2 é uma negação; 3 é uma bicondicional.

c)
1 é uma negação; 2 é uma conjunção; 3 é uma disjunção.

d)
1 é uma condicional; 2 é uma disjunção; 3 é uma conjunção.

e)
1 é uma condicional; 2 é uma bicondicional; 3 é uma disjunção.