Condições de verdade

Condições de verdade e tabelas de verdade

Lógica proposicional clássica​

Cada conetiva tem condições de verdade diferentes.

Subject | Subject

Some text here about the topic of discussion

Negação

Some text here about the topic of discussion

A negação inverte o valor de verdade da proposição inicial.

​

P: Lisboa é a capital da república portuguesa)

​

A negação de P (¬P) significa que não é verdade que Lisboa é a capital da república portuguesa, é falso que ... Lisboa não é a...

​Subheader text

​P	​¬ P
​V	​F
​F	V​

Conjunção

Some text here about the topic of discussion

Uma conjunção só é verdadeira quando ambas as conjuntas são verdadeira​

Lisboa é a capital da republica portuguesa e​ é banhada pelo Tejo

P: Lisboa é a capital da república portuguesa

Q: Lisboa é banhada pelo Tejo.

​P	​Q	​P ∧ Q
​V	​V	​V
V​	F​	F​
F​	V​	F​
F​	F​	F​

Disjunção inclusiva

Some text here about the topic of discussion

Uma disjunção exclusiva só é verdadeira quando ambas as conjuntas são verdadeira​s.

Lisboa é a capital da republica portuguesa e​ é banhada pelo Tejo

P: Lisboa é a capital da república portuguesa

Q: Lisboa é banhada pelo Tejo.

​P	​Q	​P ∧ Q
​V	​V	​
V​	F​	F​
F​	V​	F​
F​	F​	F