Você está na página 1de 2

Determine se as afrmaes abaixo so verdadeiras ou falsas e JUSTIFIQUE suas

respostas:
(1) Somente uma contradio consequncia tautolgica de um conjunto
verifuncionalmente inconsistente;
(2) Se uma sentena consequncia tautolgica do conjunto vazio, ento uma
tautologia.
(3) Se uma sentena verifuncionalmente incompatvel com um conjunto de
sentenas, ento no consequncia tautolgica de ;
(4) qualquer valorao booleana modelo verifuncional do conjunto vazio;
(5) Uma tautologia verifuncionalmente incompatvel apenas com um conjunto
verifuncionalmente inconsistente;
(6) Se toda sentena que pertence ao conjunto consequncia tautolgica do conjunto
e a sentena consequncia tautolgica de , ento consequncia tautolgica de
.

Você também pode gostar