Jump to content
Menyu yikuru
Menyu yikuru
move to sidebar
kubisa
Mayendelo
Jani likulu
Vidumbizgano vya chikaya
Vakuchitika vasono
Kusintha kuphya
Jani lililose
Wovwili
To Do
Vyakuti vinozgeke
Vinyake
Mafumbo
Mazgo ghakomi
Helpful Pages (Wovwili)
Need for Fix
Need for Review
Admin Pages
Home pages
Home templates
Kufufuza
Kufufuza
Kaonekelo
Chakupeleka
Panga akaunti
Njila
Vilwelo vyako
Chakupeleka
Panga akaunti
Njila
Pages for logged out editors
learn more
vyakulemba
Pakuchezgela
Vyamukati
move to sidebar
kubisa
Kumayambililo
1
See also
Toggle the table of contents
Template
:
Transformation rules
Sazgapo viyowoyelo
Sazgapo link
Nkhwaska
Kudumbizgana
chiTumbuka
Ŵelengani
Kulemba source
Kuona umo mayambilo
Vilwelo
Vilwelo
move to sidebar
kubisa
Vyakuchita
Ŵelengani
Kulemba source
Kuona umo mayambilo
Vya masiku ghose
Ivo vikwiza pano
Vyaku sintha
Kwezgela chinthu
Majani ghakupatulika
Link yakukhalilila
Va jani lino
Penjani URL yakufupikizgika
Sangululani kodi ya QR
Print/export
Download as PDF
Mtundu wakuprintika
Ma project ghanyake
Kaonekelo
move to sidebar
kubisa
Kufuma Wikipedia
Transformation rules
Propositional calculus
Rules of inference
Implication introduction
/
elimination (
modus ponens
)
Biconditional introduction
/
elimination
Conjunction introduction
/
elimination
Disjunction introduction
/
elimination
Disjunctive
/
hypothetical syllogism
Constructive
/
destructive dilemma
Absorption
/
modus tollens
/
modus ponendo tollens
Negation introduction
Rules of replacement
Associativity
Commutativity
Distributivity
Double negation
De Morgan's laws
Transposition
Material implication
Exportation
Tautology
Predicate logic
Rules of inference
Universal generalization
/
instantiation
Existential generalization
/
instantiation
Template documentation
See also
{{
Classical logic
}}
{{
Logic templates
}}
Editors can experiment in this template's sandbox
(
create
|
mirror
)
and testcases
(
create
)
pages.
Subpages of this template
.
Mitundu
:
Sidebars with styles needing conversion
Logic templates
Mathematics sidebar templates
Philosophy and thinking sidebar templates
Template documentation
