Diferència entre revisions de la pàgina «Exemple d'argument independent»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Exemple d'argument independent...».) |
m (Text de reemplaçament - "File:i" a "File:e") |
||
| Línia 22: | Línia 22: | ||
la taula de veritat prova que l'enunciat P és independent de la resta d'enunciats: | la taula de veritat prova que l'enunciat P és independent de la resta d'enunciats: | ||
| − | <center>[[File: | + | <center>[[File:e3491-6.gif]]</center> |
{{Propietat | {{Propietat | ||
|Propi=No | |Propi=No | ||
Revisió del 15:40, 25 abr 2015
Plantilla:RecursoEnlace Plantilla:Multimèdia
Siguin els enunciats
[math]\displaystyle{ (P\rightarrow{Q}), (Q\rightarrow{R}), ¬R, \models P? }[/math]
la taula de veritat prova que l'enunciat P és independent de la resta d'enunciats:
