Resultados da pesquisa

== Proposições == ...

Por exemplo, substituindo proposições em linguagem natural por variáveis lógicas, a inversa da proposição condici ...]], apenas as formas A e E têm um inverso. Para encontrar o inverso dessas proposições categóricas, é preciso: substituir o sujeito e o predicado do invertido por ...

...co''' ou '''tábua das oposições''', é um diagrama que representa as quatro proposições do sistema aristotélico, ou formas lógicas, e as quatro relações lógicas qu Toda proposição categórica (proposições da forma sujeito-predicado prefixada por um quantificador) pode ser reduzid ...

Os termos bem-formados e proposições da [[Lógica de primeira ordem]] tem a seguinte [[sintaxe]]: Proposições: ...

onde <math>P</math> e <math>Q</math> proposições expressas em algum [[sistema formal]]. ...suficiente]] e [[Necessary condition|condição necessária]] dos termos das proposições, onde a violação é que a proposição alterada comete a falácia da [[negação ...

O axioma da escolha implica '''ZF''' a recíproca das proposições acima: Mas essas proposições não podem ser demonstradas sem o axioma da escolha, se [[Axiomas de Zermelo ...

onde <math>P</math>, e <math>Q</math> são proposições expressas em algum [[sistema formal]]. ...

...então podemos definir todas as demais funções de verdade. Se P, Q e F são proposições, e sabe-se que F é falsa, então: Se ''A'' e ''Z'' são proposições, então ''A'' → ''Z'' é equivalente a (¬''A*'') ∨ ''Z'', onde ''A*'' é o res ...

...2009|local=São Paulo|páginas=169-171|isbn=978-85-7139-935-8}}</ref>. Essas proposições garantem que o ângulo inscrito tem a metade da medida do [[ângulo central]] ...

onde <math>P</math>, e <math>Q</math> são proposições expressas em algum sistema formal. ...

...presentam possíveis transições que podem alterar o estado, enquanto que as proposições atomizadas representam as propriedades básicas que se mantém num ponto de e ...

Tendo-se duas [[Proposição|proposições]], A e B, há duas implicações que podem ser formadas usando estas propostas ...

...ndicional material''') é o [[Conectivos_lógicos|Conectivo lógico]] de duas proposições afirmando "''p'' [[se e somente se]] ''q''", onde ''q'' é uma ''[[Hipótese ...que ''a'' implica ''b'' e ''b'' implica ''a''; em outras palavras, que as proposições são equivalentes, o que é dizer, ambas são verdadeiras ou falsas ao mesmo t ...

...nte os valores de verdade (verdadeiro ou falso) e a forma das [[proposição|proposições]]. ...uma [[entidade]] composta de entidades mais simples chamadas [[proposição|proposições]], isto é, [[frase]]s que são declarativas e cujos únicos valores de verdad ...

...[[Distribuição beta]]. Uma opinião multinomial se aplica a uma coleção de proposições, e pode ser representada como uma [[Distribuição de Dirichlet]]. Através de ...ão humana é que ninguém pode sempre determinar com certeza absoluta se uma proposições sobre o mundo é verdadeira ou falsa. Além disso, sempre que a verdade de um ...

...oas que não estão familiarizadas com eles. Seja os termos ‘p’, ‘q ‘, e ‘r’ proposições arbitrárias. Os principais paradoxos estão listados a seguir: ...implica qualquer outro enunciado. Como r pode ser p, segue que, dado duas proposições arbitrárias, uma deve implicar na outra, mesmo se elas forem mutuamente con ...

...árvore é árvore. O que, ainda que simples, ajuda na confirmação de várias proposições. Assim pode-se dizer que: Uma coisa é o que é, não se confunde com nenhuma ...

...ntrafactuais]], ou seja, as premissas podem ser sempre verdadeiras se suas proposições são falsas, de acordo com o significado da implicação. ...

Onde <math>P</math>, <math>Q</math>, e <math>R</math> são proposições expressas em algum [[Sistema formal]]. ...

b - Na imensa maioria das proposições o quociente <math>s</math> apresenta infinitos algarismos após a virgula d b - Na imensa maioria das proposições o quociente <math>s'</math> apresenta infinitos algarismos após a virgula d ...