PERGUNTA 1 Dadas as premissas p1 , p2 ,..., pn e uma conclusão q, uma regra de inferência a partir da qual q se deduz logicamente de p1 , p2 ,..., ...
PERGUNTA 1 Dadas as premissas p1 , p2 ,..., pn e uma conclusão q, uma regra de inferência a partir da qual q se deduz logicamente de p1 , p2 ,..., pn pode ser denotada por: p1 , p2 ,..., pn ├ q. O símbolo ├ é utilizado para separar premissas (à esquerda) da conclusão (à direta). Quando há mais de uma premissa no argumento, elas devem ser separadas entre si por vírgula. Uma regra de inferência clássica é chamada Silogismo Hipotético, que parte de duas premissas condicionais e chega a uma conclusão condicional. Seguindo a estrutura apresentada, qual a notação que designa a regra de inferência em questão? a. p → q, q → r ├ p → r b. p ∧ q, ~p ├ ~q c. p ↔ q ├ p→q d. p → q, ~q ├ ~p e. p → q, q ├ p
Compartilhar