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...».) |
|||
| (Una revisió intermèdia per un altre usuari que no es mostra) | |||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 22: | Línia 14: | ||
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> |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 13:46, 5 set 2015
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:
