«Modus tollendo tollens»: berrikuspenen arteko aldeak

ez dago edizio laburpenik
''Modus tollendo tollens'' kasuetan premisa gisa onartzen ditugu p → q egiazkoa dela eta q faltsua dela. Taulako lerro bakarrak (laugarrenak) betetzen ditu egiazko bi baldintza horiek. Lerro horretan, p faltsua da. Beraz, p → q egiazkoa den eta q faltsua den kasu guztietan, p-k ere faltsua izan behar du.
 
== ProbaFrogapen formala ==
 
=== Silogismo disjuntibo bidez ===
12

edits