Laupäev, märts 01, 2025

Aja viide. Aja lugu.

Mart Helme

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

Potting bench drawn in cabinet view

Allikas: https://en.wikipedia.org/wiki/User:Xiong

No tags for this post.

Tallinn

Tallinn, EE

6:03 e.l., märts 1, 2025

0°C

fog

Humidity: 93 %

Pressure: 1023 mb

Wind: 4 Km/h

Wind Gust: 0 Km/h

Clouds: 100%

Visibility: 0.7 km

Sunrise: 7:18 am

Sunset: 5:48 pm