sexta-feira, 26 de junho de 2020

Conectivos lógicos

Vamos começar nossos estudos sobre conectivos. E o que são conectivos?
Conectivos lógicos,também chamados de operadores lógicos,são símbolos ou palavras usados para conectar duas ou mais sentenças de uma maneira gramaticalmente válida,de modo que o sentido da sentença composta produzida dependa apenas das sentenças originais.
Vamos conhecê-los?
Nesse post eu vou apresentar dois conectivos e no próximo,os outros três. Hoje vou apresentar a conjunção e a disjunção inclusiva. Vamos a eles?

Conjunção (^)
Vinícius é corno e casado com Valéria.
Namoro Carmém e sou amante de Vitória.

Vamos lá,dois exemplos. Para cada sentença acima ser verdadeira,cada afirmação precisa ser verdadeira. Ou seja,Vinícius é corno=V e casado com Vitória=V. Caso seja mentira que Vinícius é corno ou casado com Vitória,então a sentença toda será falsa.
O mesmo ocorre para a sentença de baixo:se eu não namoro Carmén ou não sou amante de Vitória,então a sentença toda é falsa.
Vamos chamar a afirmação "Vinícius é corno" de P e "casado com Vitória" de Q e
"Namoro Carmém" de P e "sou amante de Vitória" de Q.
Vamos montar a tabela:

P Q P^Q
V V V
V F F
F V F
F F F

Disjunção inclusiva (V)

Vamos usar os mesmos exemplos,mas...:
Vinícius é corno ou casado com Valéria.
Namoro Carmém ou sou amante de Vitória.

A sentença é verdadeira se apenas uma das afirmações for verdadeira ou as duas. Só é falsa se as duas afirmações forem falsas.
Exemplo: mesmo que "Vinícius é corno" seja falsa e "casado com Valéria" seja verdadeira,a sentença toda será verdadeira. O mesmo vice-versa.
E se "namoro Carmém" for verdadeira e "sou amante de Vitória" for falsa,a sentença toda será verdadeira.
Vamos ver a tabela:

P Q PVQ
V V V
V F V
F V V
F F F

Até à próxima! 

Nenhum comentário:

Postar um comentário