Questões sobre Algebra das Proposições

o céu é azul e a Terra é redonda, ou a Terra é redonda e o céu não é azul.

a Terra é redonda e o céu não é azul.

o céu não é azul e a Terra não é redonda, ou a Terra é redonda e o céu é azul.

a Terra não é redonda ou o céu não é azul.

O céu não é azul e a Terra não é redonda.

Modus tolens.

Adição.

Dilema construtivo.

Silogismo disjuntivo.

Modus ponens.

Não existem tautologias só com o conectivo de implicação.

Não existem tautologias com o conectivo de conjunção.

Não existem contradições sem que ocorra o conectivo de negação.

Não existem contradições com apenas uma letra sentencial (considerando que ela pode ser utilizada mais de uma vez).

Existem tautologias que só possuem os conectivos de disjunção e conjunção.

Algum homem é mortal.

Algum homem não é mortal.

Algum mortal não é homem

Nenhum homem é mortal.

Nenhum mortal é homem.