terça-feira, 23 de outubro de 2012

Lógica proposicional - EXERCÍCIOS 5

EXERCÍCIOS de cálculo proposicional


1. Formalize o seguinte argumento:

Ou estudo ou não estudo. Se estudo, não tenho tempo para namorar e a Ómega deixa-me. Se não estudo, não tenho formação e a Ómega deixa-me. Logo a Ómega deixa-me.


PS1 - este argumento é apresenta-se sob a forma de DILEMA.
PS2 - este argumento é difícil.



2. Será uma tautologia, uma contradição ou uma contingência. Se for uma contigência é válido ou inválido (USE O INSPETOR DE CIRCUNSTÂNCIAS)

É uma TAUTOLOGIA E É VÁLIDO (obviamente).

Sem comentários:

Enviar um comentário