O que é necessário para que uma disjunção seja verdadeira?
O que é necessário para que uma disjunção seja verdadeira?

Vídeo: O que é necessário para que uma disjunção seja verdadeira?

Vídeo: O que é necessário para que uma disjunção seja verdadeira?
Vídeo: LÓGICA: CONECTIVOS LÓGICOS 2024, Dezembro
Anonim

Com uma conjunção, ambas as declarações devem ser verdade para a conjunção ser verdade ; mas com um disjunção , ambas as afirmações devem ser falsas para o disjunção ser falso. UMA disjunção é falso se e somente se ambas as declarações estão falso; caso contrário isto é verdade.

Correspondentemente, o que é disjunção e conjunção?

As declarações são qualquer frase que pode ser rotulada como verdadeira ou falsa. Quando duas declarações são combinadas com um 'e', você tem um conjunção . Para conjunções , ambas as declarações devem ser verdadeiras para que a declaração composta seja verdadeira. Quando suas duas afirmações são combinadas com um 'ou', você tem um disjunção.

Da mesma forma, o que significa Pvq? v: este meios "ou." A sentença ( pvq ) é verdadeiro se e somente se p for verdadeiro, ou q for verdadeiro, ou (p ^ q) for verdadeiro. ->: Este meios "implica." A sentença (p-> q) é verdadeira se e somente se p for falso ou q for verdadeiro (a sentença ((~ p) vq) é verdadeira).

Também saber é, qual é a regra para uma disjunção ou?

o as regras do disjuntivo silogismo e adição emergem diretamente do fato de que, quando duas sentenças são conectadas por um DISJUNÇÃO , o que está sendo afirmado é que pelo menos uma das disjunções é verdadeira. Como resultado, se sabemos que uma das disjunções é falsa, também sabemos que a outra disjuntar deve ser verdade.

O que é um argumento funcional de verdade?

Visão geral. Um conectivo lógico é verdade - funcional se o verdade -valor de uma frase composta é um função do verdade -valor de suas sub-sentenças. Uma classe de conectivos é verdade - funcional se cada um de seus membros é. Seus valores para vários verdade -values as argumento geralmente são dados por verdade tabelas.

Recomendado: