Öncül (mantık) - Antecedent (logic)

Bir öncül , if-cümlesi then-cümlesinden önce geldiğinde, varsayımsal bir önermenin ilk yarısıdır . Bazı bağlamlarda öncül protasis olarak adlandırılır .

Örnekler:

• Eğer o zaman . ${\ displaystyle P}$${\ displaystyle Q}$

Bu, varsayımsal bir önermenin mantıksız bir formülasyonudur. Bu durumda, önce gelen bir P ve bunun sonucunda bir S . Bir In ima eğer ima sonra denir öncül ve hastalıklar sonucu oluşan denir. Öncül ve sonuç , bir önerme oluşturmak için mantıksal bağlantı yoluyla birbirine bağlanır . ${\ displaystyle \ phi}$${\ displaystyle \ psi}$${\ displaystyle \ phi}$${\ displaystyle \ psi}$

• Eğer bir erkekse, o zaman ölümlüdür. ${\ displaystyle X}$${\ displaystyle X}$

" Bir erkektir" bu önermenin öncülüdür. ${\ displaystyle X}$

• Erkekler ayda yürüdüyse, o zaman ben Fransa kralıyım.

Burada "erkekler ayda yürüdü" öncülüdür.

Let . Eğer öyleyse ${\ displaystyle y = x + 1}$${\ displaystyle x = 1}$${\ displaystyle y = 2}$

Ayrıca bakınız

• Sonucu doğrulamak (yanlışlık)
• Öncülü reddetmek (yanlışlık)
• Gereklilik ve yeterlilik

Referanslar

Bu mantıkla ilgili makale bir taslaktır . Wikipedia'yı genişleterek yardım edebilirsiniz .

• v
• t
• e