EXERCÍCIOS DE LÓGICA FORMAL

Frank Stella, Harran II, 1967

1.            Considere as seguintes proposições compostas:

A)            Não é verdade que estudo astrofísica ou estudo geofísica

B)            Não estudo astrofísica e não estudo geofísica

1.1.         Demonstre a equivalência entre as duas proposições compostas:

1.2.         Identifique a inferência.

2.            Formalize e Identifique o seguinte argumento:

Se os dias são grandes então temos muito sol. Se temos muito sol, então passo os dias ao sol. Se passo os dias ao sol, então temos muita vitamina D. se temos muita vitamina D, então temos ossos forte, Logo, se os dias são grandes, temos ossos forte.

3.      Determine, através da tabela de verdade, o valor de verdade das proposições que constituem o seguinte  argumento.     

A liberdade não existe ou o homem não é determinado. A liberdade existe. Então o homem é determinado.

4.            Teste a validade do seguinte argumento, aplicando o método mais adequado – INSPETOR de CIRCUNSTÂNCIAS

Se o António é um estudante de filosofia, então estudou lógica. O António estudou lógica. Então  o António não é estudante de Filosofia.