|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 6 van 49 gevonden artikelen
| Titel: |
A Method of Deductive Logical Inference Proofs |
| Auteur: |
Maher A. Nabulsi Ayman M. Abdalla |
| Verschenen in: |
Journal of computer science |
| Paginering: | Jaargang 4 (2008) nr. 4 pagina's 345-348 |
| Jaar: |
2008 |
| Inhoud: |
A method of proof is presented and used in proving theorems in logic and set theory. Many commonly used methods of proof are rigid and not easy to apply in proving different theorems. This study deductively draws conclusions from rules of logical inference and then, it generalizes the deduction methods to be applied to logic and set theory. Then, it shows how this method of logical inference can be used to prove implications involving conjunction or disjunction of premises and to prove some identities in set theory involving implication or containment. |
| Uitgever: |
Science Publications (provided by DOAJ) |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 6 van 49 gevonden artikelen
| << vorige | volgende >> |