Diferència entre revisions de la pàgina «Exemple d'argument independent»
De Wikisofia
m (Text de reemplaçament - "File:i" a "File:e") |
|||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 23: | Línia 15: | ||
<center>[[File:e3491-6.gif]]</center> | <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:
