Seja P José é magro e q José é bonito. Represente cada uma das seguintes afirmações em função de p e q.
Enumere a primeira coluna de acordo com a segunda:
Primeira coluna
(1) José não é magro, nem bonito.
(2) José é magro ou bonito.
(3) Se José é magro, então é bonito.
(4) José é magro e bonito.
Segunda Coluna
( ) P ^ Q
( ) P → Q
( ) ~p^ ~Q
( ) P v Q
Soluções para a tarefa
Ao preencher a segunda coluna encontramos :
(4 ) P ^ Q
(3 ) P → Q
(1 ) ~p^ ~Q
(2 ) P v Q
Vamos analisar cada operador lógico e seu significado.
(4 ) P ^ Q
O operador ^ é o operador "e". uma expressão que contenha o operador "e" só será verdadeira se P "e" Q forem verdadeiros. Se qualquer um destes for falso, a expressão será falsa.
(3 ) P → Q
O operador → é o operador "se ... então". uma expressão que contenha o operador "se ... então" só será falsa se P for verdadeiro e Q for falso. Do contrário, sempre será verdadeiro.
(1 ) ~p^ ~Q
O operador "~" é o operador "negação". Este sempre nega aquilo que a afirmativa diz.
O operador "^" já foi explicado em (4)
(2 ) P v Q
O operador "v" é o operador "ou". Este sempre será verdadeiro se pelo menos um dentre P e Q forem verdadeiros.