3.2 – Ordem de Precedência dos Conectivos
- a “ordem de precedência” para os conectivos é
1) ~ 2) ^ 3) v
4) -> 5) <->
Portanto, o conectivo mais “fraco” é o ~ e o conectivo mais forte é o “<->”.
Assim, por exemplo, a proposição p -> q <-> s ^ r é uma bicondicional.
Obs.: Existindo parênteses em uma proposição, deverão ser priorizados os conectivos que estiverem dentro deles.
Definição: Uma tabela-verdade é construída com a finalidade de mostrar exatamente os casos em que uma proposição composta será verdadeira (V) ou falsa (F), admitindo-se como é sabido, que o seu valor lógico só depende dos valores lógicos das proposições simples componentes.
3.4 – Número de linhas de uma tabela-verdade
O número de linhas da tabela-verdade de uma proposição composta depende do número de proposições simples que a integram, sendo dado pelo seguinte teorema:
“A tabela-verdade de uma proposição composta com N proposições simples componentes contém 2^n linhas”
Exemplos:
1) P(p,q): (p^q)
2) P(p,q): ~(p^q)v^(q<->p)
3) P(p, q, r): p v ~r -> q ^ r
Nenhum comentário:
Postar um comentário