2- Veja o argumento a seguir:

“Chove, então fico resfriado. Não fiquei resfriado, logo, não choveu. ”

A validade do argumento pode ser verificada por qual regra de inferência?

C) Modus tollens (MT)

3 - Proposições condicionais são muito utilizadas tanto em linguagem corrente como em lógica
matemática. Uma condicional afirma unicamente o valor lógico entre as proposições. Veja o
exemplo: "Se você trouxer os documentos, então poderá fazer a matrícula".
Analise as seguintes expressões:

I. Se eu trouxer os documentos, poderei fazer a matrícula.

II. Se eu não trouxer os documentos, poderei fazer a matrícula.

III. Se eu trouxer os documentos, não poderei fazer a matrícula.

IV. Se eu não trouxer os documentos, não poderei fazer a matrícula.

Podemos concluir que são VERDADEIRAS as expressões:

D) I, II e IV.

Veja o argumento a seguir:

“Se o sujeito é baixo, então ele é infeliz. Se sujeito é infeliz, então ele morre cedo. Logo, os
baixos morrem cedo”

A validade do argumento pode ser verificada por qual regra de inferência?

D) Silogismo hipotético (SH)

Quando se analisa a validade ou não de um argumento, as premissas são sempre assumidas

como verdadeiras. Em Lógica, o importante é a validade do argumento e não se as premissas e
conclusões são verdades ou falsidades. Sejam as proposições:

I. Se Marcos acordar cedo, então Pedro irá viajar.

II. Pedro não viajou ou Carlos foi trabalhar.

III. Se Carlos foi trabalhar, então José foi jogar bola.

IV. José não foi jogar bola.

Para as premissas dadas, uma conclusão possível para que este argumento seja válido é:

C) Logo, Marcos não acordou cedo.

Augustus de Morgan foi um matemático britânico que contribuiu muito para o
desenvolvimento da ideia de indução matemática. As Leis de Morgan são muito utilizadas até
hoje no desenvolvimento de programas de computadores, e sua maior contribuição foi
demonstrar que a negação de uma conjunção é equivalente à disjunção de suas negações; e,
que a negação de uma disjunção é equivalente à conjunção de suas negações. Sendo a
expressão: "Paulo tomou um café e foi para o trabalho", a NEGAÇÃO desta
expressão de acordo com a lógica proposicional é:

B) Paulo não tomou café e não foi para o trabalho.

3. Em logica, sentenças abertas são expressões declarativas que não podem ter atribuído um
valor logico de verdadeiro ou falso. A sentença assumira o valor logico verdadeiro ou falso
dependendo do valor da variável. Porem pode ser considerado como proposições se a estas
variáveis forem atribuídos valores que possibilitem que a sentença assuma valor logico
verdadeiro ou valor logico falso.

E)- as duas afirmações são proposições verdadeiras e a segunda e uma conclusão correta da
primeira (correta)

Pergunta 1: O que é uma proposição na lógica?

Resposta 1: Uma proposição é uma afirmação ou declaração que pode ser considerada
verdadeira ou falsa, mas não ambas ao mesmo tempo.

Pergunta 2: Quais são os principais conectivos lógicos?

Resposta 2: Os principais conectivos lógicos são: negação (~), conjunção (^), disjunção (v),
condicional (->), e bicondicional (<->).

Pergunta 3: O que é uma tabela verdade?

Resposta 3: Uma tabela verdade é uma tabela que mostra todas as possíveis combinações de
valores lógicos para as proposições em uma expressão lógica, bem como o valor lógico
resultante da expressão em cada caso.

Pergunta 4: O que é o Modus Ponens na lógica?

Resposta 4: O Modus Ponens é uma regra de inferência na lógica que afirma que se temos uma
proposição condicional do tipo "se P, então Q" e também temos a afirmação de que P é
verdadeira, então podemos concluir que Q também é verdadeira.
Pergunta 5: Quais são as Leis de De Morgan na lógica?

Resposta 5: As Leis de De Morgan são duas leis que descrevem como negar uma proposição
composta. A primeira lei afirma que a negação de uma conjunção é equivalente à disjunção das
negações das proposições individuais. A segunda lei afirma que a negação de uma disjunção é
equivalente à conjunção das negações das proposições individuais.

Pergunta 6: O que é uma implicação lógica?

Resposta 6: Uma implicação lógica é uma relação entre proposições em que a verdade de uma
proposição (chamada de antecedente) implica na verdade de outra proposição (chamada de
consequente), representada pelo símbolo "->".

Pergunta 7: O que é uma contrapositiva de uma implicação lógica?

Resposta 7: A contrapositiva de uma implicação lógica é uma outra implicação que é obtida
negando tanto o antecedente quanto o consequente da implicação original e trocando a ordem
entre eles. Por exemplo, a contrapositiva da implicação "se chove, então o chão fica molhado"
seria "se o chão não fica molhado, então não chove".

O que é uma tautologia na lógica?

Uma tautologia é uma proposição que é sempre verdadeira, independentemente dos valores
de verdade de suas proposições componentes.

Qual é a negação da proposição "Se chove, então a rua fica molhada"?

A negação da proposição "Se chove, então a rua fica molhada" é "Chove e a rua não fica
molhada".