Obtenha soluções para suas perguntas no Sistersinspirit.ca, a plataforma de Q&A mais rápida e precisa. Obtenha respostas detalhadas e precisas para suas perguntas de uma comunidade dedicada de especialistas. Nossa plataforma oferece uma experiência contínua para encontrar respostas confiáveis de uma rede de profissionais experientes.

quero saber mais sobre noções de lógica , conectivos e tabela verdade



Sagot :

Conectivos

 

Definição - chamam-se conectivos palavras que se usam para formar novas proposições a partir de outras.

 

Assim, nas seguintes proposições compostas:

 

P: O número [tex]6[/tex] é par e o número [tex]8[/tex] é um cubo perfeito.

 

Q: O triângulo [tex]\text{ABC}[/tex] é retângulo ou isósceles.

 

R: Não está chovendo.

 

S: Se Jorge é engenheiro, então sabe Matemática.

 

T: O triângulo [tex]\text{ABC}[/tex] é equilátero se e somente se é equiângulo.

 

são conectivos usuais em Lógica Matemática as palavras grifadas, isto é:

 

"e", "ou", "não", "se ... então ...", "... se e somente se ..."

 

Tabela-verdade

 

Segundo o Princípio do terceiro excluído, toda proposição simples [tex]\text{p}[/tex] é verdadeira ou falsa, isto é, tem o valor lógico V(verdade) ou  o valor lógico F(falsidade).

 

Em se tratando de uma proposição composta, a determinação do seu valor lógico, conhecidos os valores lógicos das proposições componentes, se faz com base no seguinte Princípio:

 

"O valor lógico de qualquer proposição composta depende unicamente dos valores lógicos das proposições simples componentes, ficando por eles univocamente determinado.

Conectivos

^ - e

v - ou

-> se , então

<-> se e somente se 

~ não

 

as letras p, q , r e s em minusculo , são usadas para indicar proposições .

ex .. 

A LUA É QUADRADA (p)

A NEVE É BRANCA (q)

 

A LUA É QUADRADA E A NEVE É BRANCA ( p^q ) conjuctos 

 

A LUA É QUADRADA OU A NEVE É BRANCA ( pvq) disjunctos

 

SE A LUA É QUADRADA ENTÃO A NEVE É BRANCA (p->q) p -> antecedente , e q -> consequente

 

A LUA É QUADRADA E SE SOMENTE SE A NEVE FOR BRANCA (p<->q) 

 

A LUA NÃO É QUADRADA ~p