Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Olá a todos,
Prosseguindo com o estudo sobre lógica matemática vamos conhecer hoje mais dois
importantes conectivos: “Se p então q” e “p se e somente se q”.
p --> q
Assim, o valor lógico da condicional somente será falso quando o antecedente for
verdadeiro e o consequente for falso. Para entendermos o conceito vejamos alguns
exemplos:
p --> q : Se Pedro Álvares Cabral proclamou a república, então Cantor criou a Teoria
dos Conjuntos.
Note que, claramente, a proposição p tem valor lógico falso e a proposição q tem valor
lógico verdadeiro. Então p --> q é falsa.
O questionamento natural que ocorre neste momento é: mas como o fato de Getúlio ter
sido presidente do Brasil implica que a raiz quadrada de 2 seja um número irracional?
De maneira alguma uma condicional afirma que o consequente q se deduz ou é
conseqüência do antecedente p. Ela afirma somente a relação entre os valores lógicos do
antecedente e do consequente de acordo com a tabela-verdade.
Exemplo:
Resumindo, para se analisar o valor lógico de uma proposição composta, basta analisar
sua tabela-verdade e verificar em qual caso se enquadra à proposição. Você precisará da
tabela-verdade! Dessa forma reveja cada uma delas, entenda, analise, desta maneira
você irá memoriza-las.
~(p v q) v ~( p <--> q)
Até lá...