Definindo proposições e condicionantes
Uma proposição pode adquirir ligações com outras proposições, entre elas temos as ligações “e”(Ù) e “ou”(Ú). Assim podemos definir duas situações:
Ù
O conjunto de duas proposições ligadas por um condicionante “e”(Ù) é verdadeiro se ambas proposições são verdadeiras.
Ú
O conjunto de duas proposições ligadas por um condicionante “ou”(Ú) é verdadeiro se ao menos uma proposições é verdadeira.
Exemplos:
Se existe duas proposições (p) e (q) definimos cada proposição:
· p = eu existo.
· q = eu penso.
Sendo (V) o conjunto verdade de uma interação de proposições usando o condicionante “e”(Ù) temos as regras do conjunto verdade.
V = pÙq
Aceitando verdadeiro que eu pense, e aceitando que eu exista logo o conjunto verdade é verdadeiro. “Pois penso logo existo”. Qualquer uma das proposições for falsa, faz com que o conjunto verdade seja falso.
Se existe duas proposições (p) e (q) definimos cada proposição:
· p = estou em casa.
· q = estou em pé.
Sendo (V) o conjunto verdade de uma interação de proposições usando o condicionante “ou”(Ú) temos as regras do conjunto verdade.
V = pÙq
Neste caso se e somente se eu não estiver em casa e eu não estiver em pé o conjunto verdade é falso. Mas se ao menos uma das proposições for verdadeira o conjunto verdade é verdadeiro.