Av1 - Lógica Computacional
1) Silogismo nada mais é do que um argumento constituído de proposições das quais se
infere (extrai) uma conclusão. Assim, não se trata de conferir valor de verdade ou
falsidade às proposições (frases ou premissas dadas) nem à conclusão, mas apenas de
observar a forma como foi constituído. É um raciocínio mediado que fornece o
conhecimento de uma coisa a partir de outras coisas (buscando sua causa) (CABRAL,
2020).
+
Considere, por exemplo, o seguinte argumento lógico dedutivo:
+
Premissas:
- Todos os Japoneses torcem pelo Japão.
- Nakagima é japonês.
Com base nas Premissas do exemplo acima, chegamos a seguinte conclusão lógica:
Alternativas:
a) Nakagima é Japonês.
b) Nakagima torce pelo Japão.
c) Todos que nascem no Japão é Japonês.
d) Quem torce pelo Japão é Japonês.
e) Todo Japonês nasce no Japão.
2) As Operações Lógicas obedecem a regras de um cálculo, denominado cálculo
proposicional, semelhante ao da aritmética sobre números. Os conectivos sentenciais
correspondem a várias palavras nas linguagens naturais que servem para conectar
proposições declarativas.
+
ALENCAR FILHO, E. Iniciação à lógica matemática. São Paulo: Nobel, 2002.
+
Sejam as proposições
p: André vai correr.
q: Luiz vai andar.
Assinale a alternativa que traduz corretamente para a linguagem corrente a
proposição:+ .
Alternativas:
a) André vai correr se e somente se Luiz vai andar.
