Questões da Prova NC-UFPR - 2019 - Prefeitura de Curitiba - PR - Auditor Fiscal de Tributos Municipais
Foram encontradas 2 questões
Resolva questões gratuitamente!
Junte-se a mais de 4 milhões de concurseiros!
Considere verdadeiras as seguintes proposições:
Se está chovendo, então faz frio.
O mar não está calmo ou posso mergulhar.
Está chovendo ou o mar está calmo.
Dessas proposições, conclui-se corretamente que:
Um argumento da lógica proposicional é formado por premissas (P1, P2, ... , Pn) e uma conclusão (Q). Um argumento é válido quando P1 ^ P2 ^... ^ Pn -> Q é uma tautologia. Nesse caso, diz-se que a conclusão Q pode ser deduzida logicamente de P1 ^ P2 ^... ^ Pn. Alguns argumentos, chamados fundamentais, são usados correntemente em lógica proposicional para fazer inferências e, portanto, são também conhecidos como Regras de Inferência. Seja o seguinte argumento da Lógica Proposicional:
Premissa 1: SE Ana é mais velha que João, ENTÃO Ana cuida de João.
Premissa 2: SE Ana cuida de João, ENTÃO os pais de João viajam para o exterior.
Conclusão: SE Ana é mais velha que João, ENTÃO os pais de João viajam para o exterior.
Assinale a alternativa que apresenta o nome desse argumento.