REGOLE DI DEDUZIONE
SE la mamma cucina(p) ALLORA si cena(q)
SE x è un triangolo isoscele (p) ALLORA ha due lati congruenti (q) x due lati congruenti x è un triangolo isoscele x
MODUS PONENS x tautologia
Modus ponens P Q v f
SE la minestra è rancida (p) ALLORA non mangio la minestra(q) La minestra non è rancida ²
SE il poligono ha tre lati(p) ALLORA è un triangolo(q) . x non è un triangolo x non ha tre lati. x ²
MODUS TOLLENS TAUTOLOGIA x ²
1. SE x è un triangolo isoscele (p) ALLORA ha due lati congruenti (q) 2. SE x ha due lati congruenti ALLORA ha due angoli congruenti (r) 3. SE x è un triangolo isoscele ALLORA ha due angoli congruenti. ² x
SILLOGISMO IPOTETICO ² x
Il maestro in classe spiega (p) o interroga (q) Il maestro non interroga Il maestro spiega
SILLOGISMO DISGIUNTIVO ²
REGOLE DI DEDUZIONE Modus Ponens Modus Tollens Sillogismo Ipotetico Sillogismo Disgiuntivo
e grazie per l’attenzione. buona logica a tutti... e grazie per l’attenzione.