p-->(q-->p) bileşik önermesinin totoloji olduğunu gösteriniz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9.Sınıf Matematik Mantık ve Önermeler



Sagot :

p-->(q-->p)=

p-->(q'vp)=

p'v(q'vp)=

(p'vp)vq'=

1vq'= 1 olur.

Not: Bu soruları çözebilmen için mantık kurallarını bilmelisin.

Öncelikle bazı tanımları bilmemiz gerekir.

Doğruluk durumu her durumda Doğru (D) olan önermelere Totoloji denir.

Diğer bilmemiz gereken de -> ile sembolize edilen koşullu bağlaca ait doğruluk tablosudur.

p | q | p -> q |

D | D |    D     |

D | Y |    Y     |

Y | D |    D     |

Y | Y |    D     |

Bu durumda sorumuz için doğruluk tablosu oluşturabiliriz.

p | q | q -> p | p -> (q -> p) |

D | D |    D     |        D           |

D | Y |    D     |        D           |

Y | D |    Y     |        D           |

Y | Y |    D     |        D           |

Görüldüğü gibi son kolondaki tüm değerler Doğru çıktığından Totoloji olduğunu söyleyebiliriz.