Diferència entre revisions de la pàgina «Casos de confirmació d'hipòtesi»
De Wikisofia
m (bot: -veure text +veg. text) |
|||
| (Una revisió intermèdia per un altre usuari que no es mostra) | |||
| Línia 8: | Línia 8: | ||
{{Exemple}} | {{Exemple}} | ||
| − | Així, la hipòtesi «Els conills en dejú són carnívors» ([[Recurs:Claude Bernard: conills en dejú són carnívors| | + | Així, la hipòtesi «Els conills en dejú són carnívors» ([[Recurs:Claude Bernard: conills en dejú són carnívors|veg. text]]), que podem escriure |
<math> \forall{x} (Ax\rightarrow{Cx})</math> | <math> \forall{x} (Ax\rightarrow{Cx})</math> | ||
Revisió de 23:35, 31 ago 2017
Així, la hipòtesi «Els conills en dejú són carnívors» (veg. text), que podem escriure
[math]\displaystyle{ \forall{x} (Ax\rightarrow{Cx}) }[/math]
queda confirmada per l'observació de casos de
[math]\displaystyle{ \exists{x} (Ax \wedge Cx) }[/math]
(conills en dejú que es mostren carnívors)
queda desconfirmada per l'observació de casos de
[math]\displaystyle{ \exists{x} (Ax \wedge ¬Cx) }[/math]
(conills en dejú que no donen mostres de ser carnívors)
queda indiferent davant l'observació de casos de
[math]\displaystyle{ \exists{x} (¬Ax \wedge ¬Cx) }[/math]
(conills que no estan en dejú i que no donen mostres de ser carnívors).