Conversie

betekenis & definitie

In de traditionele formele logica is conversie de vervanging van een propositie door haar logisch equivalente converse, die als subject het oorspronkelijke predikaat heeft (eenvoudige conversie). ‘Geen honden zijn katten’ is de converse van ‘geen katten zijn honden’. Bij de conversie peraccidens wordt de converse door het origineel geïmpliceerd maar niet omgekeerd. ‘Sommige huisdieren zijn honden’ is de converse per accidens van ‘alle honden zijn huisdieren’.