Trabalho Ligica, UT2

1. "O meu pai é sábio e honesto". Sejam p = "O meu pai é sábio" e q = "ele é honesto". Sejam p = verdade e q = verdade.

Tradução simbólica: p ^ q
Valor de verdade: verdade. Uma conjunção é verdadeira se, as duas proposições forem verdadeiras.

2. "O meu quarto precisa de uma boa limpeza e estou cansado demais para fazer qualquer coisa a respeito". Sejam p = "O meu quarto precisa de uma boa limpeza" e q = "estou cansado demais para fazer qualquer coisa a respeito". Sejam p = verdade e q = falso.

Tradução simbólica: p ^ q
Valor de verdade: falso. Uma conjunção é falsa quando, as duas proposições não são verdadeiras.

3. "Belo Horizonte é a capital de Minas Gerais ou Salvador é a capital da Bahia". Sejam p = "Belo Horizonte é a capital de Minas Gerais" e q = "Salvador é a capital da Bahia". Sejam p = verdade e q = verdade.

Tradução simbólica: p v q
Valor de verdade: verdade. Uma disjunção é verdadeira se, no mínimo, uma proposição for verdadeira.

4. "Hoje é segunda-feira ou hoje é quarta-feira". Sejam p = "Hoje é segunda-feira" e q = "Hoje é quarta-feira". Sejam p = falso e q = falso.

Tradução simbólica: p v q
Valor de verdade: falso. Quando nem uma das proposições são verdadeiras.

5. "Não é verdade que Florianópolis é a capital de São Paulo". Seja p = "Florianópolis é a capital de São Paulo". Sejam p = falso.

Tradução simbólica: ~p
Valor de verdade: falso. Uma negação e falsa se, apresentado de forma oposta em “não p” .