APOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE
Por: SonSolimar • 15/11/2017 • 1.282 Palavras (6 Páginas) • 497 Visualizações
...
Ex.:
Dois é par. Dois não( ~ ) é par.
Sete é ímpar. Não é verdade que( ~ ) 7 é ímpar.
Três é par. É falso que( ~ ) três é par.
Um é par. É mentira que( ~ ) um é par.
3. Tabela verdade:
A Tabela verdade é um instrumento usado para determinar os valores lógicos das proposições compostas, a partir de atribuições de todos os possíveis valores lógicos das proposições simples componentes.
3.1. Conectivo ^ ( e ):
Queremos um funcionário que:
Fale inglês e fale espanhol.
P
Q
P^Q
V
V
V
V
F
F
F
V
F
F
F
F
Determine valor lógico V ou F para as sentenças a baixo:
( ) 2 é par e 5 é par.
( ) 6 é ímpar e 4 é par.
( ) 56.
( ) 7 é par e 6 é ímpar.
( ) 5=7 e 7>3.
( ) 2 é par e 6 é par.
( ) 7>7 e 1>9.
( ) 3 é par e 6 é par.
( ) 3 é ímpar e 3>8.
( ) 7 é ímpar e 6 é par.
3.2. Conectivo v ( ou ):
Queremos um funcionário que:
Fale inglês ou fale espanhol.
P
Q
PvQ
V
V
V
V
F
V
F
V
V
F
F
F
Determine valor lógico V ou F para as sentenças a baixo:
( ) 2 é par ou 5 é par.
( ) 6 é ímpar ou 4 é par.
( ) 56.
( ) 7 é par ou 6 é ímpar.
( ) 5=7 ou 7>3.
( ) 2 é par ou 6 é par.
( ) 7>7 ou 1>9.
( ) 3 é par ou 6 é par.
( ) 3 é ímpar ou 3>8.
( ) 7 é ímpar ou 6 é par.
3.3. Conectivo v ( Ou... ou... ):
José possui R$10.000 e deve tomar uma decisão:
Ou trocar de carro, ou reformar a casa.
P
Q
PvQ
V
V
F
V
F
V
F
V
V
F
F
F
Determine valor lógico V ou F para as sentenças a baixo:
( ) Ou o cavalo é um mamífero, ou o jacaré é um réptil.
( ) Ou a cobra é um réptil, ou a galinha fala.
( ) Ou a mosca é um mamífero, ou o galo é um roedor.
( ) Ou a arara é um peixe, ou o sapo é um anfíbio.
( ) Ou o papagaio late, ou o cachorro mia.
( ) Ou o boi voa, ou a galinha dança.
( ) Ou o gato berra, ou o gato mia.
( ) Ou o pássaro voa, ou o sapo é um anfíbio.
( ) Ou pedra voa, ou o homem é um mamífero.
( ) Ou a gata é um réptil, ou a sardinha fala.
3.4. Conectivo -->( Se... então... ):
Se Maria nasceu no Ceará, então Maria é brasileira.
P
Q
P-->Q
V
V
V
V
F
F
F
V
V
F
F
V
Determine
...